x86/psr: make opt_psr persistent
authorChao Peng <chao.p.peng@linux.intel.com>
Thu, 26 May 2016 02:03:13 +0000 (10:03 +0800)
committerWei Liu <wei.liu2@citrix.com>
Thu, 26 May 2016 16:24:40 +0000 (17:24 +0100)
commit663f2f51b10e55a9093a0bc458dadfbaf1705c31
treec32b931d6f707b09cde83be08a9e258f20cd02b2
parentb0d409d9c4944ed29d29457fea4ad6b41d698eca
x86/psr: make opt_psr persistent

opt_psr is now not only used at booting time but also at runtime.
More specifically, it is used to check CDP switch in psr_cpu_init()
which can potentially be called in CPU hotplug case.

Signed-off-by: Chao Peng <chao.p.peng@linux.intel.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Release-acked-by: Wei Liu <wei.liu2@citrix.com>
xen/arch/x86/psr.c